Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
71	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
72	QoE estimation for web service selection using a Fuzzy-Rough hybrid expert system Jeevan Pokhrel∗‡ , Felipe Lalanne† ,Ana Cavalli‡ , Wissam Mallouli ∗ ∗ Montimage, 39 rue Bobillot, 75013, Paris, France † NI Add to Reading List Source URL: www.mallouli.com Language: English - Date: 2014-02-11 08:24:19 Quality of experience Telecommunications engineering Science Codecs Digital television Streaming Quality of service Fuzzy logic Fuzzy control system Logic Electronic engineering Marketing
73	A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009 Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:32 Logical consequence Philosophical logic Formal systems Metalogic Logical framework Linear logic Axiom Soundness Inference Logic Deduction Proof theory
74	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
75	A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills, Add to Reading List Source URL: www.cem.brighton.ac.uk Language: English - Date: 2003-03-24 06:32:38 Computer programming Constraint satisfaction Nurse scheduling problem Constraint logic programming Mathematical optimization Hybrid algorithm ECLiPSe Constraint programming Declarative programming Software engineering
76	Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-14 23:11:52 Automated theorem proving Logic in computer science Mathematics Cyber-physical system Formal verification KeY Carnegie Mellon University Logic programming Theoretical computer science Formal methods Applied mathematics
77	MODULE TITLE: Intelligent Systems MODULE CODE: Add to Reading List Source URL: cis.ulster.ac.uk Language: English - Date: 2013-06-12 10:33:23 Computational intelligence Reasoning system Hybrid intelligent system Neural network Fuzzy control system Fuzzy logic Intelligent agent Machine learning Genetic algorithm Artificial intelligence Science Cybernetics
78	A New Mapping from ALCI to ALC Yu Ding and Volker Haarslev and Jiewen Wu Concordia University, Montreal, Quebec, Canada {ding yu\|haarslev\|w jiewen}@cse.concordia.ca 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Philosophical logic Abox Tbox Description logic Hybrid logic Logic Non-classical logic Ontology
79	A Well-founded Semantics for Hybrid MKNF Knowledge Bases? Matthias Knorr1 , Jos´e J´ ulio Alferes1 , and Pascal Hitzler2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Logic programming Artificial intelligence Non-classical logic Model theory Stable model semantics Epistemic modal logic Partition Description logic Mathematics Mathematical logic Logic
80	DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Science Artificial intelligence Modal logic Knowledge representation Stable model semantics Description logic Non-monotonic logic Circumscription Logic programming Logic Mathematical logic

UPDATE